// 2013年版权归Go作者所有。版权所有。
// 此源代码的使用受BSD样式的约束
// 可以在许可证文件中找到的许可证。

// 此文件实现调用和选择器表达式的类型检查。

package types

import (
	"go/ast"
	"go/internal/typeparams"
	"go/token"
	"strings"
	"unicode"
)

// funcInst类型检查函数实例化inst并以x形式返回结果。
// 操作数x必须是inst.x的求值值，其类型必须是签名。
func (check *Checker) funcInst(x *operand, inst *ast.IndexExpr) {
	xlist := typeparams.UnpackExpr(inst.Index)
	targs := check.typeList(xlist)
	if targs == nil {
		x.mode = invalid
		x.expr = inst
		return
	}
	assert(len(targs) == len(xlist))

	// 检查类型参数的数量（got）与类型参数的数量（want）
	sig := x.typ.(*Signature)
	got, want := len(targs), len(sig.tparams)
	if got > want {
		check.errorf(xlist[got-1], _Todo, "got %d type arguments but want %d", got, want)
		x.mode = invalid
		x.expr = inst
		return
	}

	// 如果没有足够的类型参数，请尝试类型推断
	inferred := false

	if got < want {
		targs = check.infer(inst, sig.tparams, targs, nil, nil, true)
		if targs == nil {
			// 已报告错误
			x.mode = invalid
			x.expr = inst
			return
		}
		got = len(targs)
		inferred = true
	}
	assert(got == want)

	// 确定参数位置（用于错误报告）
	// TODO（rFindley）在这里使用定位器？实例化将需要
	// 相应更新。
	poslist := make([]token.Pos, len(xlist))
	for i, x := range xlist {
		poslist[i] = x.Pos()
	}

	// 实例化函数签名
	res := check.instantiate(x.Pos(), sig, targs, poslist).(*Signature)
	assert(res.tparams == nil) // 签名不再是通用的
	if inferred {
		check.recordInferred(inst, targs, res)
	}
	x.typ = res
	x.mode = value
	x.expr = inst
}

func (check *Checker) callExpr(x *operand, call *ast.CallExpr) exprKind {
	var inst *ast.IndexExpr
	if iexpr, _ := call.Fun.(*ast.IndexExpr); iexpr != nil {
		if check.indexExpr(x, iexpr) {
			// 延迟函数实例化到参数检查，
			// 我们将类型参数和值参数组合在一起
			// 推论
			assert(x.mode == value)
			inst = iexpr
		}
		x.expr = iexpr
		check.record(x)
	} else {
		check.exprOrType(x, call.Fun)
	}

	switch x.mode {
	case invalid:
		check.use(call.Args...)
		x.expr = call
		return statement

	case typexpr:
		// 转变
		T := x.typ
		x.mode = invalid
		switch n := len(call.Args); n {
		case 0:
			check.errorf(inNode(call, call.Rparen), _WrongArgCount, "missing argument in conversion to %s", T)
		case 1:
			check.expr(x, call.Args[0])
			if x.mode != invalid {
				if call.Ellipsis.IsValid() {
					check.errorf(call.Args[0], _BadDotDotDotSyntax, "invalid use of ... in conversion to %s", T)
					break
				}
				if t := asInterface(T); t != nil {
					check.completeInterface(token.NoPos, t)
					if t._IsConstraint() {
						check.errorf(call, _Todo, "cannot use interface %s in conversion (contains type list or is comparable)", T)
						break
					}
				}
				check.conversion(x, T)
			}
		default:
			check.use(call.Args...)
			check.errorf(call.Args[n-1], _WrongArgCount, "too many arguments in conversion to %s", T)
		}
		x.expr = call
		return conversion

	case builtin:
		id := x.id
		if !check.builtin(x, call, id) {
			x.mode = invalid
		}
		x.expr = call
		// 非常量结果意味着函数调用
		if x.mode != invalid && x.mode != constant_ {
			check.hasCallOrRecv = true
		}
		return predeclaredFuncs[id].kind
	}

	// 普通函数/方法调用
	cgocall := x.mode == cgofunc

	sig := asSignature(x.typ)
	if sig == nil {
		check.invalidOp(x, _InvalidCall, "cannot call non-function %s", x)
		x.mode = invalid
		x.expr = call
		return statement
	}

	// 计算类型参数（如果有）
	var targs []Type
	if inst != nil {
		xlist := typeparams.UnpackExpr(inst.Index)
		targs = check.typeList(xlist)
		if targs == nil {
			check.use(call.Args...)
			x.mode = invalid
			x.expr = call
			return statement
		}
		assert(len(targs) == len(xlist))

		// 检查类型参数的数量（got）与类型参数的数量（want）
		got, want := len(targs), len(sig.tparams)
		if got > want {
			check.errorf(xlist[want], _Todo, "got %d type arguments but want %d", got, want)
			check.use(call.Args...)
			x.mode = invalid
			x.expr = call
			return statement
		}
	}

	// 评估参数
	args, _ := check.exprList(call.Args, false)
	sig = check.arguments(call, sig, targs, args)

	// 判定结果
	switch sig.results.Len() {
	case 0:
		x.mode = novalue
	case 1:
		if cgocall {
			x.mode = commaerr
		} else {
			x.mode = value
		}
		x.typ = sig.results.vars[0].typ // 解包元组
	default:
		x.mode = value
		x.typ = sig.results
	}
	x.expr = call
	check.hasCallOrRecv = true

	// 如果类型推断失败，则参数化结果必须无效
	// （操作数不能具有参数化类型）
	if x.mode == value && len(sig.tparams) > 0 && isParameterized(sig.tparams, x.typ) {
		x.mode = invalid
	}

	return statement
}

func (check *Checker) exprList(elist []ast.Expr, allowCommaOk bool) (xlist []*operand, commaOk bool) {
	switch len(elist) {
	case 0:
		// 无事可做

	case 1:
		// 单个（可能是逗号ok）值，或返回多个值的函数
		e := elist[0]
		var x operand
		check.multiExpr(&x, e)
		if t, ok := x.typ.(*Tuple); ok && x.mode != invalid {
			// 多值
			xlist = make([]*operand, t.Len())
			for i, v := range t.vars {
				xlist[i] = &operand{mode: value, expr: e, typ: v.typ}
			}
			break
		}

		// 只有一个（可能无效或逗号ok）值
		xlist = []*operand{&x}
		if allowCommaOk && (x.mode == mapindex || x.mode == commaok || x.mode == commaerr) {
			x2 := &operand{mode: value, expr: e, typ: Typ[UntypedBool]}
			if x.mode == commaerr {
				x2.typ = universeError
			}
			xlist = append(xlist, x2)
			commaOk = true
		}

	default:
		// 多个（可能无效）值
		xlist = make([]*operand, len(elist))
		for i, e := range elist {
			var x operand
			check.expr(&x, e)
			xlist[i] = &x
		}
	}

	return
}

func (check *Checker) arguments(call *ast.CallExpr, sig *Signature, targs []Type, args []*operand) (rsig *Signature) {
	rsig = sig

	// TODO（gri）尝试消除这个额外的验证循环
	for _, a := range args {
		switch a.mode {
		case typexpr:
			check.errorf(a, 0, "%s used as value", a)
			return
		case invalid:
			return
		}
	}

	// 函数调用参数/参数计数要求
	// None
	// |标准调用|点调用|
	// --------------+------------------+----------------+
	// 标准函数| nargs==NPAR |无效|
	// --------------+------------------+----------------+
	// 变量函数| nargs>=npars-1 | nargs==npars|
	// --------------+------------------+----------------+

	nargs := len(args)
	npars := sig.params.Len()
	ddd := call.Ellipsis.IsValid()

	// 设置参数
	sigParams := sig.params // 调整变量函数（空参数列表可能为零！）
	adjusted := false       // 指示sigParams是否与t.params不同
	if sig.variadic {
		if ddd {
			// 变量函数（a，b，c…）
			if len(call.Args) == 1 && nargs > 1 {
				// f（）。。。如果f（）是多值的，则不允许
				check.errorf(inNode(call, call.Ellipsis), _InvalidDotDotDot, "cannot use ... with %d-valued %s", nargs, call.Args[0])
				return
			}
		} else {
			// 可变函数（a，b，c）
			if nargs >= npars-1 {
				// 为参数创建自定义参数：保留
				// 第一个npars-1参数，并为
				// 每个参数映射到。。。参数
				vars := make([]*Var, npars-1) // 变量函数的npars>0
				copy(vars, sig.params.vars)
				last := sig.params.vars[npars-1]
				typ := last.typ.(*Slice).elem
				for len(vars) < nargs {
					vars = append(vars, NewParam(last.pos, last.pkg, last.name, typ))
				}
				sigParams = NewTuple(vars...) // 可能是零！
				adjusted = true
				npars = nargs
			} else {
				// nargs<npars-1
				npars-- // 下面是正确的错误消息
			}
		}
	} else {
		if ddd {
			// 标准函数（a、b、c…）
			check.errorf(inNode(call, call.Ellipsis), _NonVariadicDotDotDot, "cannot use ... in call to non-variadic %s", call.Fun)
			return
		}
		// 标准函数（a、b、c）
	}

	// 检查参数计数
	switch {
	case nargs < npars:
		check.errorf(inNode(call, call.Rparen), _WrongArgCount, "not enough arguments in call to %s", call.Fun)
		return
	case nargs > npars:
		check.errorf(args[npars], _WrongArgCount, "too many arguments in call to %s", call.Fun) // 第一次报告额外的论点
		return
	}

	// 推断类型参数并在必要时实例化签名
	if len(sig.tparams) > 0 {
		// TODO（gri）为targs提供位置信息，以便我们能够
		// 它与实例化调用有关，以便更好地报告错误
		targs := check.infer(call, sig.tparams, targs, sigParams, args, true)
		if targs == nil {
			return // 已报告错误
		}

		// 计算结果签名
		rsig = check.instantiate(call.Pos(), sig, targs, nil).(*Signature)
		assert(rsig.tparams == nil) // 签名不再是通用的
		check.recordInferred(call, targs, rsig)

		// 优化：只有调整参数列表，我们才能进行优化
		// 需要根据调整后的列表进行计算；否则我们可以
		// 只需使用结果签名的参数列表。
		if adjusted {
			sigParams = check.subst(call.Pos(), sigParams, makeSubstMap(sig.tparams, targs)).(*Tuple)
		} else {
			sigParams = rsig.params
		}
	}

	// 检查参数
	for i, a := range args {
		check.assignment(a, sigParams.vars[i].typ, check.sprintf("argument to %s", call.Fun))
	}

	return
}

var cgoPrefixes = [...]string{
	"_Ciconst_",
	"_Cfconst_",
	"_Csconst_",
	"_Ctype_",
	"_Cvar_", // 实际上是指向var的指针
	"_Cfpvar_fp_",
	"_Cfunc_",
	"_Cmacro_", // 函数来计算扩展表达式的值
}

func (check *Checker) selector(x *operand, e *ast.SelectorExpr) {
	// 必须在“goto Error”语句之前声明这些语句
	var (
		obj      Object
		index    []int
		indirect bool
	)

	sel := e.Sel.Name
	// 如果标识符引用包，请在此处处理所有内容
	// 所以我们不需要操作数的“包”模式：包名
	// 只能出现在映射到的限定标识符中
	// 选择器表达式。
	if ident, ok := e.X.(*ast.Ident); ok {
		obj := check.lookup(ident.Name)
		if pname, _ := obj.(*PkgName); pname != nil {
			assert(pname.pkg == check.pkg)
			check.recordUse(ident, pname)
			pname.used = true
			pkg := pname.imported

			var exp Object
			funcMode := value
			if pkg.cgo {
				// cgo特例C.malloc：这是
				// 已重写为_CMalloc，但未
				// 支持两个结果调用。
				if sel == "malloc" {
					sel = "_CMalloc"
				} else {
					funcMode = cgofunc
				}
				for _, prefix := range cgoPrefixes {
					// cgo对象是当前包（在文件中）的一部分
					// _cgo_gotypes.go）。使用常规查找。
					_, exp = check.scope.LookupParent(prefix+sel, check.pos)
					if exp != nil {
						break
					}
				}
				if exp == nil {
					check.errorf(e.Sel, _UndeclaredImportedName, "%s not declared by package C", sel)
					goto Error
				}
				check.objDecl(exp, nil)
			} else {
				exp = pkg.scope.Lookup(sel)
				if exp == nil {
					if !pkg.fake {
						check.errorf(e.Sel, _UndeclaredImportedName, "%s not declared by package %s", sel, pkg.name)
					}
					goto Error
				}
				if !exp.Exported() {
					check.errorf(e.Sel, _UnexportedName, "%s not exported by package %s", sel, pkg.name)
					// 可以继续吗
				}
			}
			check.recordUse(e.Sel, exp)

			// *ast.Idents代码的简化版本：
			// -导入的对象始终完全初始化
			switch exp := exp.(type) {
			case *Const:
				assert(exp.Val() != nil)
				x.mode = constant_
				x.typ = exp.typ
				x.val = exp.val
			case *TypeName:
				x.mode = typexpr
				x.typ = exp.typ
			case *Var:
				x.mode = variable
				x.typ = exp.typ
				if pkg.cgo && strings.HasPrefix(exp.name, "_Cvar_") {
					x.typ = x.typ.(*Pointer).base
				}
			case *Func:
				x.mode = funcMode
				x.typ = exp.typ
				if pkg.cgo && strings.HasPrefix(exp.name, "_Cmacro_") {
					x.mode = value
					x.typ = x.typ.(*Signature).results.vars[0].typ
				}
			case *Builtin:
				x.mode = builtin
				x.typ = exp.typ
				x.id = exp.id
			default:
				check.dump("%v: unexpected object %v", e.Sel.Pos(), exp)
				unreachable()
			}
			x.expr = e
			return
		}
	}

	check.exprOrType(x, e.X)
	if x.mode == invalid {
		goto Error
	}

	check.instantiatedOperand(x)

	obj, index, indirect = check.lookupFieldOrMethod(x.typ, x.mode == variable, check.pkg, sel)
	if obj == nil {
		switch {
		case index != nil:
			// TODO（gri）应提供发生冲突的实际类型
			check.errorf(e.Sel, _AmbiguousSelector, "ambiguous selector %s.%s", x.expr, sel)
		case indirect:
			check.errorf(e.Sel, _InvalidMethodExpr, "cannot call pointer method %s on %s", sel, x.typ)
		default:
			var why string
			if tpar := asTypeParam(x.typ); tpar != nil {
				// 类型参数边界不指定字段，所以不要提及“字段”。
				switch obj := tpar.Bound().obj.(type) {
				case nil:
					why = check.sprintf("type bound for %s has no method %s", x.typ, sel)
				case *TypeName:
					why = check.sprintf("interface %s has no method %s", obj.name, sel)
				}
			} else {
				why = check.sprintf("type %s has no field or method %s", x.typ, sel)
			}

			// 检查sel的大小写是否重要，并在这种情况下提供更好的错误消息。
			if len(sel) > 0 {
				var changeCase string
				if r := rune(sel[0]); unicode.IsUpper(r) {
					changeCase = string(unicode.ToLower(r)) + sel[1:]
				} else {
					changeCase = string(unicode.ToUpper(r)) + sel[1:]
				}
				if obj, _, _ = check.lookupFieldOrMethod(x.typ, x.mode == variable, check.pkg, changeCase); obj != nil {
					why += ", but does have " + changeCase
				}
			}

			check.errorf(e.Sel, _MissingFieldOrMethod, "%s.%s undefined (%s)", x.expr, sel, why)
		}
		goto Error
	}

	// 方法可能尚未完全设置签名
	if m, _ := obj.(*Func); m != nil {
		check.objDecl(m, nil)
		// 如果m具有参数化的接收器类型，则根据
		// 提供实际接收器，然后替换中的类型参数
		// 相应地签名。
		// TODO（gri）将此代码排除在外
		sig := m.typ.(*Signature)
		if len(sig.rparams) > 0 {
			// 为了使推理有效，我们必须使用receiver类型
			// 匹配实际方法声明中的接收器。
			// 如果该方法是嵌入的，则匹配的接收器是
			// 声明方法的嵌入式结构或接口。
			// 遍历嵌入以找到该类型（问题#44688）。
			recv := x.typ
			for i := 0; i < len(index)-1; i++ {
				// 嵌入类型是结构或指向的指针
				// 除了最后一个（我们不需要）之外的结构。
				recv = asStruct(derefStructPtr(recv)).Field(index[i]).typ
			}

			// 该方法可能有一个指针接收器，但实际提供的接收器
			// 可以是（希望可寻址）非指针值，反之亦然。我们到了
			// 只关心推断接收器类型参数；推断
			// 工作，匹配接受者的指针和参数。
			if ptrRecv := isPointer(sig.recv.typ); ptrRecv != isPointer(recv) {
				if ptrRecv {
					recv = NewPointer(recv)
				} else {
					recv = recv.(*Pointer).base
				}
			}
			// 在下面的推理过程中禁用错误报告。如果我们无法推断
			// 此处的接收器类型参数，否则接收器必须无效
			// 其他地方也报告了一个错误。
			arg := operand{mode: variable, expr: x.expr, typ: recv}
			targs := check.infer(m, sig.rparams, nil, NewTuple(sig.recv), []*operand{&arg}, false /* no error reporting */)
			if targs == nil {
				// 如果出现其他错误，我们可能会到达这里（见第40056期）。
				goto Error
			}
			// 不要修改m。取而代之的是——现在——制作一个m的副本并使用它。
			// （如果我们修改m，一些测试将失败；可能是因为m正在使用。）
			// TODO（gri）在此进行调查并提供正确的解释
			copy := *m
			copy.typ = check.subst(e.Pos(), m.typ, makeSubstMap(sig.rparams, targs))
			obj = &copy
		}
		// TODO（gri）我们还需要对参数化接口方法进行替换
		// （这会破坏testdata/linalg.go2中的代码）
		// 2019年12月20日：此待办事项是否仍然正确？
	}

	if x.mode == typexpr {
		// 方法表达式
		m, _ := obj.(*Func)
		if m == nil {
			// TODO（gri）应检查sel的资本化是否重要，并在这种情况下提供更好的错误消息
			check.errorf(e.Sel, _MissingFieldOrMethod, "%s.%s undefined (type %s has no method %s)", x.expr, sel, x.typ, sel)
			goto Error
		}

		check.recordSelection(e, MethodExpr, x.typ, m, index, indirect)

		// 接收器类型成为第一个函数的类型
		// 方法表达式的函数类型的参数
		var params []*Var
		sig := m.typ.(*Signature)
		if sig.params != nil {
			params = sig.params.vars
		}
		x.mode = value
		x.typ = &Signature{
			tparams:  sig.tparams,
			params:   NewTuple(append([]*Var{NewVar(token.NoPos, check.pkg, "_", x.typ)}, params...)...),
			results:  sig.results,
			variadic: sig.variadic,
		}

		check.addDeclDep(m)

	} else {
		// 常规选择器
		switch obj := obj.(type) {
		case *Var:
			check.recordSelection(e, FieldVal, x.typ, obj, index, indirect)
			if x.mode == variable || indirect {
				x.mode = variable
			} else {
				x.mode = value
			}
			x.typ = obj.typ

		case *Func:
			// TODO（gri）如果我们需要考虑接收者的
			// 可寻址性，我们应该报告类型&（x.typ）吗？
			check.recordSelection(e, MethodVal, x.typ, obj, index, indirect)

			// TODO（gri）下面的验证通行证暂时被禁用，因为
			// 在某些情况下，方法集与方法查找不匹配。
			// 例如，如果我们在创建
			// 参数化接收类型的自定义方法
			// 方法集方法不匹配（此处没有副本）。那里
			// /可能是其他情况。
			disabled := true
			if !disabled && debug {
				// 验证LookupFieldOrMethod和MethodSet.Lookup是否一致。
				// TODO（gri）之所以有效，是因为我们称之为LookupFieldOrMethod
				// _调用NewMethodSet之前：LookupFieldOrMethod完成
				// 任何不完整的接口，以便NewMethodSet可以使用它们
				// （假设接口已经完成）。
				typ := x.typ
				if x.mode == variable {
					// 如果typ不是（未命名）指针或接口，
					// 改为使用*typ，因为方法集为*typ
					// 包括典型的方法。
					// 变量是可寻址的，因此我们可以始终使用它们的
					// 住址
					if _, ok := typ.(*Pointer); !ok && !IsInterface(typ) {
						typ = &Pointer{base: typ}
					}
				}
				// 如果我们在上面创建了一个合成指针类型，我们将抛出
				// 使用后，请删除此处计算的方法集。
				// TODO（gri）方法集计算可能应始终计算
				// 值和指针接收器方法都设置并表示
				// 他们在一个单一的结构。
				// toDo（GRI）也考虑使用一个设置缓存的方法
				// 一旦我们依赖于方法集查找而不是单个查找，检查程序的
				// 查找。
				mset := NewMethodSet(typ)
				if m := mset.Lookup(check.pkg, sel); m == nil || m.obj != obj {
					check.dump("%v: (%s).%v -> %s", e.Pos(), typ, obj.name, m)
					check.dump("%s\n", mset)
					// 注意：方法集应在外部使用
					// 仅限（在完成所有接口类型之后）。它是
					// 现在有可能是我们弄错了。不急
					// 因为我们只在调试模式下运行此代码。
					// TODO（gri）最终解决了这个问题。
					panic("method sets and lookup don't agree")
				}
			}

			x.mode = value

			// 拆下接收器
			sig := *obj.typ.(*Signature)
			sig.recv = nil
			x.typ = &sig

			check.addDeclDep(obj)

		default:
			unreachable()
		}
	}

	// 一切都很顺利
	x.expr = e
	return

Error:
	x.mode = invalid
	x.expr = e
}

// 使用类型检查每个参数。
// 用于确保计算表达式
// （和变量被“使用”）在存在其他错误的情况下。
// 参数可能为零。
func (check *Checker) use(arg ...ast.Expr) {
	var x operand
	for _, e := range arg {
		// 由于某些AST字段的原因，下面的nil检查是必要的
		// 法律上可能为零（例如，ast.slicexpr.High字段）。
		if e != nil {
			check.rawExpr(&x, e, nil)
		}
	}
}

// useLHS与use类似，但不“使用”顶级标识符。
// 如果参数是
// 作业左侧的表达式。
// 参数不能为零。
func (check *Checker) useLHS(arg ...ast.Expr) {
	var x operand
	for _, e := range arg {
		// 如果lhs是表示变量v的标识符，则此赋值
		// 不是v的“用法”。记住v.used的当前值并还原
		// 通过check.rawExpr评估lhs后。
		var v *Var
		var v_used bool
		if ident, _ := unparen(e).(*ast.Ident); ident != nil {
			// 永远不要检查LHS上的空白名称
			if ident.Name == "_" {
				continue
			}
			if _, obj := check.scope.LookupParent(ident.Name, token.NoPos); obj != nil {
				// 可以标记非局部变量，但忽略变量
				// 从其他包中删除，以避免与
				// 点导入变量。
				if w, _ := obj.(*Var); w != nil && w.pkg == check.pkg {
					v = w
					v_used = v.used
				}
			}
		}
		check.rawExpr(&x, e, nil)
		if v != nil {
			v.used = v_used // 恢复使用
		}
	}
}

// InstancedPera并报告错误x为未实例化（泛型）类型，并将x.typ设置为typ[无效]。
func (check *Checker) instantiatedOperand(x *operand) {
	if x.mode == typexpr && isGeneric(x.typ) {
		check.errorf(x, _Todo, "cannot use generic type %s without instantiation", x.typ)
		x.typ = Typ[Invalid]
	}
}
